MGI:1857992 Hoxa3- Hoxa3<tm1Mrc> http://identifiers.org/mgd/MGI:1857992 Null/knockout hox-1.5<-> targeted mutation 1, Mario R Capecchi